Merge branch 'patch-3' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Sat, 7 Nov 2020 21:32:40 +0000 (21:32 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Sat, 7 Nov 2020 21:32:40 +0000 (21:32 +0000)
docs: include GtkFilterMatch

See merge request GNOME/gtk!2793


Trivial merge